Noncommutative localisation in algebraic K-theory II

In [Amnon Neeman, Andrew Ranicki, Noncommutative localisation in algebraic K-theory I, Geom. Topol. 8 (2004) 1385-1425] we proved a localisation theorem in the algebraic K-theory of noncommutative rings. The main purpose of the current article is to express the general theorem of the previous paper in a more user-friendly fashion, in a way more suitable for applications. In the process we compare our result to the existing theorems in the literature, showing how the previous paper improves all the existing results.It should be pointed out that there have been two very interesting recent preprints on related topics. The reader is referred to the beautiful papers of Krause [Henning Krause, Cohomological quotients and smashing localizations, http://wwwmath.upb.de/~hkrause/publications.html. [8]] and Dwyer [William G. Dwyer, Noncommutative localization in homotopy theory, preprint, http://www.nd.edu/~wgd/. [4]]. Krause studies the lifting of chain complexes and the relation with the telescope conjecture, and Dwyer generalises to the homotopy theoretic framework.     

关于态射的Drazin逆

给出了态射的Drazin逆存在的条件及显式表达式，改进并推广了[1]、[2]与[3]中的一些主要定理。     

Quantization of lie Bialgebras via the Formality of the operad of Little Disks

We give a proof of the Etingof–Kazhdan theorem on quantization of Lie bialgebras based on the formality of the chain operad of little disks and show that the Grothendieck–Teichmüller group acts non-trivially on the corresponding quantization functors. Partially supported by an NSF Grant and A. Sloan Research Fellowship Received: November 2004 Revision: April 2006 Accepted: May 2006     

泛代数的二次扩张

在本文中引入了泛代数的二次扩张的概念，解决了ＴＵ－ＥＣ（Ａ）和ＵＴ－ＥＣ（Ａ）的存在、真类和基数问题，范畴ＴＵ－ＥＣ（Ａ）（及ＵＴ－ＥＣ（Ａ）），并得到了有关二次扩张的几个同构定理，还对一点二次扩张作了讨论。     

Monoidal functors on the category of representations of a triangular Hopf algebra

Let (H,R) be a triangular Hopf algebra. The monoidal functors on the category of representations ofH is studied, and a universal quantum commutative algebraSeR(M) and a dual H°-comoduleM° for any H-moduleM with an integrale are constructed. Both constructions given here have tensor isomorphism properties. Project supported by the National Natural Science Foundation of China.     

RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS

Using recursive variants of Baire notions of nowhere dense and meagre sets we study the topological size of speedable and infinitely often speedable functions in a machine-independent framework. We show that the set of speedable functions is not “small” whereas the set of infinitely often speedable functions is “large”. In this way we offer partial answers to a question in [4].     

Dimension Theory and Nonstable K 1

This article provides an introduction to A. Bak's theory of group-valued functors on categories with structure and dimension and applies this theory to the algebraic K-theory functors nonstable K ₁ and K ₂.     

Axiomatizing subcategories of Abelian categories

We investigate how to characterize subcategories of abelian categories in terms of intrinsic axioms. In particular, we find axioms which characterize generating cogenerating functorially finite subcategories, precluster tilting subcategories, and cluster tilting subcategories of abelian categories. As a consequence we prove that any d-abelian category is equivalent to a d-cluster tilting subcategory of an abelian category, without any assumption on the categories being projectively generated.     

Gorenstein AC亏范畴*

作者定义了Gorenstein AC导出范畴 D^b_gac(R)并且和导出范畴作了一些比较.作者定义了Gorenstein AC奇点范畴 D^b_gacsg(R),在这个范畴中具有有限Gorenstein AC- 投射维数的模都是零对象.同时, 作者给出了由Gorenstein AC- 投射模构成的稳定范畴到奇点范畴的三角嵌入 F : GAC → D^b_sg(R) .通过作函子 F 的商引入Gorenstein AC亏范畴 D^b_gacd(R),并且给出三角等价 D^b_gacd(R) = D^b_gacsg(R)     

Generalized logic and the representation of rings

Following the progression towards weaker logics, a number of authors have considered the notion of a sheaf over a quantale or, equivalently, a quantale valued set. In this paper, we use ideas from enriched category theory to motivate the definition of a quantic sheaf. Given a localic subquantale of Q, a quantic sheaf over Q gives a sheaf in the usual sense. As an application, we derive a series of sheaf representations for commutative rings including the familiar Pierce representation.